ECCO Tool: Analysis of CCS value chains

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

VCS: value chains simulator, a tool for value analysis of manufacturing enterprise processes (a value-based decision support tool)

Manufacturing enterprises are facing a competitive challenge. This paper proposes the use of a value chain based approach to support the modelling and simulation of manufacturing enterprise processes. The aim is to help experts to make relevant decisions on product design and/or product manufacturing process planning. This decision tool is based on the value chain modelling, by considering the ...

متن کامل

Analysis of selected food value chains

Maize is the most important grain crop in South Africa, being both the major feed grain and the staple food for the majority of the South African population. Figure 1 illustrates that for the 2002/03 marketing year, maize was responsible for the largest contribution (13.78%) to the total gross value of the agricultural production with a gross value of R9.5 billion. Poultry slaughtered followed ...

متن کامل

An Extensible Interpreter for Value-Passing CCS

1 2 Abstract We describe an interpreter for a value-passing version of CCS implemented in the lazy functional programming language Haskell. Starting from a base interpreter, we then show how to modify the interpreter for CCS extensions including, additional non-primitive combinators, new primitive operators (an interrupt operator), a time domain with a timeout operator useful in describing real...

متن کامل

Ecco: A Hybrid Diff Tool for OWL 2 ontologies

The detection and presentation of changes between OWL ontologies (in the form of a diff ) is an important service for ontology engineering, being an active research topic. In this paper, we present a diff tool that incorporates structural and semantic techniques in order to, firstly, distinguish effectual and ineffectual changes between ontologies and, secondly, align and categorise those chang...

متن کامل

Data Flow Analysis for CCS

Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementation of these languages. Robin Milner’s Calculus of Communicating Systems, CCS, is concerned with modelling concurrent systems and has mainly been analysed using types and control flow analysis. In the present paper w...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Energy Procedia

سال: 2012

ISSN: 1876-6102

DOI: 10.1016/j.egypro.2012.06.069